Instance,nrRules,success,nrStates,n,runtime_ms
1,10,1,4,1,20
2,10,1,4,1,5
3,10,1,4,1,4
4,10,1,4,1,3
5,10,1,4,1,3
6,10,1,4,1,2
7,10,1,4,1,2
8,10,1,4,1,2
9,10,1,4,1,2
10,10,1,4,1,2
11,10,1,4,1,2
12,10,1,4,1,2
13,10,1,4,1,2
14,10,1,4,1,2
15,10,1,4,1,2
16,10,1,4,1,2
17,10,1,4,1,2
18,10,1,4,1,1
19,10,1,4,1,2
20,10,1,4,1,2
21,10,1,4,1,1
22,226,1,43,2,17
23,226,1,43,2,12
24,226,1,43,2,9
25,226,1,43,2,8
26,226,1,43,2,8
27,226,1,43,2,7
28,226,1,43,2,7
29,226,1,43,2,7
30,226,1,43,2,6
31,226,1,43,2,6
32,226,1,43,2,6
33,226,1,43,2,5
34,226,1,43,2,5
35,226,1,43,2,5
36,226,1,43,2,5
37,226,1,43,2,5
38,226,1,43,2,5
39,226,1,43,2,4
40,226,1,43,2,6
41,226,1,43,2,6
42,226,1,43,2,5
43,226,1,43,2,5
44,226,1,43,2,4
45,226,1,43,2,5
46,226,1,43,2,6
47,226,1,43,2,4
48,226,1,43,2,4
49,226,1,43,2,4
50,226,1,43,2,4
51,226,1,43,2,4
52,226,1,43,2,4
53,226,1,43,2,4
54,226,1,43,2,3
55,226,1,43,2,4
56,226,1,43,2,4
57,226,1,43,2,3
58,226,1,43,2,3
59,226,1,43,2,3
60,226,1,43,2,3
61,226,1,43,2,3
62,226,1,43,2,3
63,226,1,43,2,4
64,226,1,43,2,3
65,226,1,43,2,3
66,226,1,43,2,3
67,226,1,43,2,3
68,226,1,43,2,3
69,226,1,43,2,3
70,226,1,43,2,3
71,226,1,43,2,2
72,226,1,43,2,3
73,226,1,43,2,2
74,226,1,43,2,2
75,226,1,43,2,2
76,226,1,43,2,2
77,226,1,43,2,2
78,226,1,43,2,2
79,226,1,43,2,3
80,226,1,43,2,3
81,226,1,43,2,2
82,226,1,43,2,2
83,226,1,43,2,2
84,226,1,43,2,2
85,226,1,43,2,2
86,226,1,43,2,2
87,226,1,43,2,2
88,226,1,43,2,2
89,226,1,43,2,2
90,226,1,43,2,2
91,226,1,43,2,2
92,226,1,43,2,2
93,226,1,43,2,2
94,226,1,43,2,2
95,226,1,43,2,2
96,226,1,43,2,2
97,226,1,43,2,2
98,226,1,43,2,1
99,226,1,43,2,1
100,226,1,43,2,1
101,226,1,43,2,1
102,226,1,43,2,1
103,226,1,43,2,1
104,226,1,43,2,1
105,226,1,43,2,2
106,226,1,43,2,1
107,226,1,43,2,1
108,226,1,43,2,1
109,226,1,43,2,1
110,226,1,43,2,1
111,226,1,43,2,2
112,226,1,43,2,1
113,226,1,43,2,1
114,226,1,43,2,1
115,226,1,43,2,1
116,226,1,43,2,1
117,226,1,43,2,1
118,226,1,43,2,2
119,226,1,43,2,1
120,226,1,43,2,1
121,624,1,91,2,3
122,226,1,43,2,1
123,226,1,43,2,2
124,226,1,43,2,2
125,226,1,43,2,3
126,226,1,43,2,2
127,226,1,43,2,1
128,226,1,43,2,1
129,226,1,43,2,1
130,226,1,43,2,1
131,226,1,43,2,1
132,226,1,43,2,1
133,226,1,43,2,1
134,226,1,43,2,1
135,226,1,43,2,1
136,226,1,43,2,1
137,226,1,43,2,2
138,226,1,43,2,1
139,226,1,43,2,1
140,226,1,43,2,1
141,226,1,43,2,1
142,226,1,43,2,1
143,226,1,43,2,1
144,226,1,43,2,1
145,226,1,43,2,1
146,226,1,43,2,1
147,226,1,43,2,1
148,226,1,43,2,1
149,226,1,43,2,1
150,1750,1,208,3,7
151,1750,1,208,3,7
152,1750,1,208,3,6
153,1750,1,208,3,6
154,1750,1,208,3,9
155,1750,1,208,3,9
156,1750,1,208,3,8
157,1750,1,208,3,7
158,1750,1,208,3,7
159,1750,1,208,3,7
160,1750,1,208,3,7
161,1750,1,208,3,7
162,1750,1,208,3,6
163,1750,1,208,3,7
164,1750,1,208,3,6
165,1750,1,208,3,7
166,1750,1,208,3,7
167,1750,1,208,3,7
168,1750,1,208,3,7
169,1750,1,208,3,7
170,1750,1,208,3,7
171,1750,1,208,3,7
172,4734,1,436,3,15
173,1750,1,208,3,7
174,4734,1,436,3,15
175,1750,1,208,3,7
176,1750,1,208,3,7
177,1750,1,208,3,7
178,1750,1,208,3,7
179,1750,1,208,3,7
180,1750,1,208,3,7
181,4734,1,436,3,15
182,1750,1,208,3,7
183,1750,1,208,3,6
184,1750,1,208,3,6
185,1750,1,208,3,10
186,4734,1,436,3,19
187,1750,1,208,3,8
188,1750,1,208,3,6
189,1750,1,208,3,6
190,1750,1,208,3,6
191,1750,1,208,3,6
192,4734,1,436,3,14
193,1750,1,208,3,7
194,1750,1,208,3,6
195,1750,1,208,3,6
196,1750,1,208,3,6
197,1750,1,208,3,6
198,1750,1,208,3,6
199,1750,1,208,3,6
200,1750,1,208,3,6
201,1750,1,208,3,6
202,1750,1,208,3,6
203,1750,1,208,3,6
204,1750,1,208,3,6
205,1750,1,208,3,6
206,1750,1,208,3,6
207,1750,1,208,3,6
208,1750,1,208,3,8
209,1750,1,208,3,9
210,1750,1,208,3,9
211,1750,1,208,3,9
212,1750,1,208,3,9
213,1750,1,208,3,9
214,1750,1,208,3,9
215,1750,1,208,3,9
216,1750,1,208,3,8
217,1750,1,208,3,6
218,1750,1,208,3,10
219,1750,1,208,3,7
220,1750,1,208,3,6
221,1750,1,208,3,6
222,1750,1,208,3,6
223,4734,1,436,3,13
224,1750,1,208,3,6
225,4734,1,436,3,13
226,1750,1,208,3,6
227,1750,1,208,3,6
228,1750,1,208,3,6
229,1750,1,208,3,6
230,1750,1,208,3,5
231,1750,1,208,3,5
232,1750,1,208,3,5
233,1750,1,208,3,6
234,1750,1,208,3,6
235,1750,1,208,3,5
236,1750,1,208,3,5
237,1750,1,208,3,5
238,1750,1,208,3,5
239,4734,1,436,3,12
240,1750,1,208,3,5
241,4734,1,436,3,12
242,1750,1,208,3,6
243,1750,1,208,3,6
244,1750,1,208,3,6
245,1750,1,208,3,6
246,1750,1,208,3,6
247,1750,1,208,3,6
248,1750,1,208,3,5
249,1750,1,208,3,5
250,1750,1,208,3,5
251,1750,1,208,3,6
252,1750,1,208,3,6
253,1750,1,208,3,5
254,1750,1,208,3,6
255,1750,1,208,3,6
256,1750,1,208,3,6
257,1750,1,208,3,5
258,1750,1,208,3,5
259,1750,1,208,3,5
260,1750,1,208,3,5
261,1750,1,208,3,5
262,1750,1,208,3,5
263,1750,1,208,3,5
264,1750,1,208,3,5
265,1750,1,208,3,5
266,1750,1,208,3,5
267,1750,1,208,3,5
268,1750,1,208,3,5
269,1750,1,208,3,5
270,8506,1,721,4,24
271,7018,1,661,4,20
272,15918,1,1177,4,41
273,7018,1,661,4,21
274,8506,1,721,4,24
275,7018,1,661,4,26
276,8506,1,721,4,25
277,8506,1,721,4,37
278,8506,1,721,4,36
279,8506,1,721,4,36
280,15918,1,1177,4,62
281,7018,1,661,4,32
282,7018,1,661,4,42
283,19896,1,1297,4,108
284,7018,1,661,4,50
285,8506,1,721,4,49
286,7018,1,661,4,46
287,7018,1,661,4,30
288,8506,1,721,4,31
289,7018,1,661,4,26
290,8506,1,721,4,55
291,8506,1,721,4,55
292,7018,1,661,4,48
293,15918,1,1177,4,90
294,7018,1,661,4,47
295,24026,1,1549,4,123
296,8506,1,721,4,52
297,7018,1,661,4,48
298,8506,1,721,4,53
299,8506,1,721,4,54
300,8506,1,721,4,57
301,8506,1,721,4,30
302,24026,1,1549,4,83
303,15918,1,1177,4,53
304,7018,1,661,4,38
305,8506,1,721,4,39
306,15918,1,1177,4,55
307,8506,1,721,4,36
308,7018,1,661,4,31
309,15918,1,1177,4,60
310,8506,1,721,4,37
311,8506,1,721,4,36
312,7018,1,661,4,31
313,15918,1,1177,4,41
314,8506,1,721,4,23
315,8506,1,721,4,24
316,15918,1,1177,4,39
317,8506,1,721,4,23
318,8506,1,721,4,24
319,7018,1,661,4,20
320,7018,1,661,4,20
321,8506,1,721,4,23
322,15918,1,1177,4,40
323,7018,1,661,4,20
324,19896,1,1297,4,49
325,7018,1,661,4,21
326,7018,1,661,4,20
327,7018,1,661,4,20
328,8506,1,721,4,24
329,8506,1,721,4,23
330,8506,1,721,4,23
331,7018,1,661,4,20
332,8506,1,721,4,24
333,15918,1,1177,4,42
334,7018,1,661,4,21
335,7018,1,661,4,20
336,8506,1,721,4,26
337,15918,1,1177,4,40
338,15918,1,1177,4,40
339,7018,1,661,4,21
340,7018,1,661,4,21
341,8506,1,721,4,23
342,15918,1,1177,4,40
343,7018,1,661,4,21
344,15918,1,1177,4,41
345,8506,1,721,4,24
346,7018,1,661,4,21
347,7018,1,661,4,21
348,7018,1,661,4,21
349,7018,1,661,4,21
350,7018,1,661,4,21
351,15918,1,1177,4,42
352,7018,1,661,4,21
353,8506,1,721,4,25
354,7018,1,661,4,20
355,7018,1,661,4,21
356,7018,1,661,4,21
357,7018,1,661,4,21
358,7018,1,661,4,20
359,7018,1,661,4,20
360,7018,1,661,4,20
361,8506,1,721,4,24
362,7018,1,661,4,21
363,7018,1,661,4,21
364,7018,1,661,4,28
365,15918,1,1177,4,43
366,7018,1,661,4,20
367,7018,1,661,4,21
368,7018,1,661,4,21
369,8506,1,721,4,25
370,7018,1,661,4,21
371,8506,1,721,4,24
372,8506,1,721,4,25
373,8506,1,721,4,24
374,8506,1,721,4,24
375,7018,1,661,4,21
376,7018,1,661,4,21
377,7018,1,661,4,21
378,15918,1,1177,4,42
379,7018,1,661,4,21
380,7018,1,661,4,22
381,7018,1,661,4,35
382,8506,1,721,4,37
383,8506,1,721,4,36
384,7018,1,661,4,32
385,7018,1,661,4,31
386,8506,1,721,4,38
387,7018,1,661,4,31
388,15312,1,1237,4,71
389,7018,1,661,4,39
390,8506,1,721,4,42
391,8506,1,721,4,29
392,7018,1,661,4,26
393,7018,1,661,4,30
394,8506,1,721,4,30
395,7018,1,661,4,26
396,7018,1,661,4,27
397,8506,1,721,4,30
398,8506,1,721,4,30
399,8506,1,721,4,30
400,7018,1,661,4,26
401,7018,1,661,4,26
402,7018,1,661,4,26
403,15918,1,1177,4,51
404,8506,1,721,4,31
405,7018,1,661,4,26
406,7018,1,661,4,24
407,8506,1,721,4,23
408,15918,1,1177,4,41
409,24026,1,1549,4,59
410,8506,1,721,4,27
411,8506,1,721,4,24
412,7018,1,661,4,21
413,8506,1,721,4,25
414,8506,1,721,4,24
415,7018,1,661,4,24
416,8506,1,721,4,24
417,15918,1,1177,4,41
418,8506,1,721,4,24
419,8506,1,721,4,23
420,7018,1,661,4,24
421,8506,1,721,4,23
422,15918,1,1177,4,41
423,7018,1,661,4,21
424,7018,1,661,4,20
425,15918,1,1177,4,84
426,8506,1,721,4,24
427,15918,1,1177,4,41
428,8506,1,721,4,58
429,8506,1,721,4,33
430,8506,1,721,4,41
431,7018,1,661,4,61
432,8506,1,721,4,47
433,8506,1,721,4,30
434,8506,1,721,4,31
435,8506,1,721,4,32
436,7018,1,661,4,27
437,7018,1,661,4,27
438,7018,1,661,4,28
439,8506,1,721,4,32
440,7018,1,661,4,27
441,8506,1,721,4,31
442,8506,1,721,4,30
443,8506,1,721,4,31
444,23266,1,1750,5,83
445,43680,1,2710,5,154
446,36130,1,2194,5,119
447,30654,1,2206,5,107
448,41934,1,2638,5,148
449,36130,1,2194,5,123
450,36130,1,2194,5,154
451,23266,1,1750,5,86
452,36130,1,2194,5,110
453,23266,1,1750,5,64
454,36130,1,2194,5,145
455,19102,1,1594,5,85
456,19102,1,1594,5,85
457,19102,1,1594,5,84
458,23266,1,1750,5,81
459,36130,1,2194,5,89
460,37932,1,2602,5,96
461,23266,1,1750,5,63
462,37932,1,2602,5,95
463,70790,1,3634,5,164
464,19102,1,1594,5,56
465,23266,1,1750,5,62
466,37932,1,2602,5,96
467,19102,1,1594,5,56
468,41934,1,2638,5,105
469,36130,1,2194,5,95
470,23266,1,1750,5,68
471,19102,1,1594,5,55
472,23266,1,1750,5,64
473,36130,1,2194,5,90
474,23266,1,1750,5,64
475,36130,1,2194,5,95
476,23266,1,1750,5,89
477,23266,1,1750,5,85
478,36130,1,2194,5,122
479,37932,1,2602,5,127
480,23266,1,1750,5,93
481,41934,1,2638,5,137
482,36130,1,2194,5,118
483,36130,1,2194,5,137
484,36130,1,2194,5,117
485,19102,1,1594,5,71
486,36896,1,2374,5,121
487,37932,1,2602,5,150
488,19102,1,1594,5,75
489,23266,1,1750,5,88
490,41934,1,2638,5,136
491,14712,0,1053,5,49
492,43680,1,2710,5,160
493,41934,1,2638,5,154
494,37932,1,2602,5,148
495,41934,1,2638,5,155
496,23266,1,1750,5,84
497,19102,1,1594,5,73
498,53754,1,3058,5,174
499,70790,1,3634,5,216
500,36130,1,2194,5,120
501,36130,1,2194,5,143
502,41934,1,2638,5,136
503,19102,1,1594,5,71
504,41934,1,2638,5,138
505,23266,1,1750,5,99
506,23266,1,1750,5,107
507,37932,1,2602,5,196
508,36130,1,2194,5,127
509,23266,1,1750,5,84
510,19102,1,1594,5,71
511,37932,1,2602,5,125
512,23266,1,1750,5,86
513,19102,1,1594,5,75
514,53754,1,3058,5,169
515,23266,1,1750,5,67
516,23266,1,1750,5,64
517,53754,1,3058,5,169
518,23266,1,1750,5,86
519,53754,1,3058,5,173
520,28788,1,2170,5,106
521,23266,1,1750,5,84
522,23266,1,1750,5,84
523,53754,1,3058,5,171
524,19102,1,1594,5,72
525,23266,1,1750,5,84
526,45434,1,2674,5,142
527,41934,1,2638,5,136
528,23266,1,1750,5,92
529,19102,1,1594,5,78
530,23266,1,1750,5,87
531,37932,1,2602,5,126
532,36130,1,2194,5,123
533,23266,1,1750,5,90
534,19102,1,1594,5,86
535,41934,1,2638,5,168
536,19102,1,1594,5,80
537,23266,1,1750,5,83
538,23266,1,1750,5,75
539,23266,1,1750,5,66
540,23266,1,1750,5,64
541,23266,1,1750,5,62
542,23266,1,1750,5,63
543,19102,1,1594,5,59
544,36130,1,2194,5,91
545,19102,1,1594,5,56
546,23266,1,1750,5,72
547,37932,1,2602,5,96
548,36130,1,2194,5,92
549,37932,1,2602,5,100
550,23266,1,1750,5,64
551,19102,1,1594,5,55
552,36130,1,2194,5,93
553,36896,1,2374,5,92
554,23266,1,1750,5,64
555,19102,1,1594,5,54
556,23266,1,1750,5,64
557,36130,1,2194,5,91
558,23266,1,1750,5,63
559,19102,1,1594,5,55
560,53754,1,3058,5,135
561,41934,1,2638,5,140
562,19102,1,1594,5,74
563,53754,1,3058,5,174
564,23266,1,1750,5,85
565,41934,1,2638,5,136
566,19102,1,1594,5,74
567,19102,1,1594,5,74
568,23266,1,1750,5,96
569,23266,1,1750,5,84
570,36130,1,2194,5,119
571,41934,1,2638,5,137
572,23266,1,1750,5,83
573,53754,1,3058,5,174
574,23266,1,1750,5,83
575,36130,1,2194,5,119
576,23266,1,1750,5,86
577,64748,1,3550,5,205
578,53754,1,3058,5,170
579,56150,1,3370,5,192
580,23266,1,1750,5,87
581,23266,1,1750,5,95
582,36130,1,2194,5,152
583,23266,1,1750,5,95
584,23266,1,1750,5,90
585,23266,1,1750,5,90
586,30654,1,2206,5,113
587,19102,1,1594,5,74
588,23266,1,1750,5,89
589,23266,1,1750,5,85
590,19102,1,1594,5,73
591,36130,1,2194,5,124
592,23266,1,1750,5,87
593,19102,1,1594,5,77
594,23266,1,1750,5,90
595,19102,1,1594,5,72
596,19102,1,1594,5,72
597,41934,1,2638,5,143
598,37932,1,2602,5,127
599,37932,1,2602,5,133
600,36130,1,2194,5,119
601,36130,1,2194,5,120
602,23266,1,1750,5,85
603,53754,1,3058,5,186
604,23266,1,1750,5,87
605,23266,1,1750,5,87
606,23266,1,1750,5,91
607,41934,1,2638,5,137
608,30654,1,2206,5,121
609,19102,1,1594,5,71
610,23266,1,1750,5,88
611,36896,1,2374,5,125
612,23266,1,1750,5,85
613,23266,1,1750,5,100
614,19102,1,1594,5,79
615,19102,1,1594,5,84
616,43680,1,2710,5,155
617,19102,1,1594,5,79
618,19102,1,1594,5,78
619,19102,1,1594,5,66
620,23266,1,1750,5,74
621,23266,1,1750,5,72
622,19102,1,1594,5,58
623,37932,1,2602,5,105
624,19102,1,1594,5,63
625,37932,1,2602,5,114
626,36130,1,2194,5,99
627,23266,1,1750,5,65
628,42212,1,2734,5,137
629,19102,1,1594,5,77
630,36130,1,2194,5,131
631,36130,1,2194,5,133
632,19102,1,1594,5,83
633,41934,1,2638,5,148
634,30654,1,2206,5,115
635,23266,1,1750,5,96
636,23266,1,1750,5,102
637,23266,1,1750,5,110
638,23266,1,1750,5,96
639,19102,1,1594,5,73
640,36130,1,2194,5,130
641,23266,1,1750,5,85
642,30654,1,2206,5,115
643,19102,1,1594,5,75
644,19102,1,1594,5,76
645,36130,1,2194,5,119
646,23266,1,1750,5,84
647,23266,1,1750,5,86
648,36130,1,2194,5,130
649,41934,1,2638,5,152
650,36130,1,2194,5,123
651,23266,1,1750,5,83
652,37932,1,2602,5,133
653,53754,1,3058,5,169
654,23266,1,1750,5,76
655,23266,1,1750,5,66
656,23266,1,1750,5,69
657,19102,1,1594,5,61
658,36130,1,2194,5,94
659,48970,1,3451,6,152
660,41074,1,3199,6,134
661,78430,1,4471,6,222
662,48970,1,3451,6,158
663,50146,1,3547,6,205
664,48970,1,3451,6,200
665,48970,1,3451,6,190
666,90966,1,5143,6,316
667,60610,1,3919,6,220
668,144838,1,6235,6,494
669,80760,1,4879,6,273
670,78430,1,4471,6,291
671,50146,1,3547,6,195
672,50146,1,3547,6,196
673,78430,1,4471,6,302
674,144838,1,6235,6,432
675,48970,1,3451,6,152
676,60610,1,3919,6,181
677,50146,1,3547,6,149
678,80760,1,4879,6,223
679,78430,1,4471,6,285
680,50146,1,3547,6,213
681,64518,1,4231,6,227
682,144838,1,6235,6,457
683,41074,1,3199,6,168
684,48970,1,3451,6,191
685,237048,1,9427,6,773
686,48970,1,3451,6,187
687,78430,1,4471,6,272
688,80760,1,4879,6,282
689,80760,1,4879,6,273
690,60610,1,3919,6,233
691,60610,1,3919,6,224
692,48970,1,3451,6,213
693,76708,1,4255,6,250
694,73422,1,4867,6,267
695,80760,1,4879,6,271
696,53622,1,3811,6,167
697,60610,1,3919,6,254
698,121566,1,6055,6,344
699,50146,1,3547,6,156
700,80760,1,4879,6,233
701,144838,1,6235,6,465
702,144838,1,6235,6,483
703,60610,1,3919,6,217
704,60610,1,3919,6,230
705,216650,1,8515,6,627
706,60610,1,3919,6,224
707,80760,1,4879,6,321
708,60610,1,3919,6,292
709,73422,1,4867,6,257
710,31322,0,2226,6,88
711,68430,1,4339,6,236
712,50146,1,3547,6,184
713,50146,1,3547,6,183
714,48970,1,3451,6,155
715,60610,1,3919,6,164
716,48970,1,3451,6,143
717,139792,1,6007,6,325
718,68430,1,4339,6,198
719,60610,1,3919,6,169
720,41074,1,3199,6,125
721,79584,1,4891,6,222
722,53590,0,3078,6,181
723,121862,1,5815,6,324
724,78430,1,4471,6,216
725,73422,1,4867,6,204
726,60610,1,3919,6,170
727,48970,1,3451,6,143
728,48970,1,3451,6,146
729,48970,1,3451,6,180
730,78430,1,4471,6,271
731,58632,1,4015,6,213
732,78430,1,4471,6,269
733,58632,1,4015,6,203
734,80760,1,4879,6,278
735,60610,1,3919,6,261
736,60170,1,3703,6,203
737,60170,1,3703,6,157
738,78430,1,4471,6,211
739,78430,1,4471,6,211
740,80760,1,4879,6,214
741,90966,1,5143,6,236
742,41074,1,3199,6,157
743,41074,1,3199,6,122
744,41074,1,3199,6,120
745,68430,1,4339,6,179
746,68430,1,4339,6,180
747,78430,1,4471,6,216
748,50146,1,3547,6,146
749,68430,1,4339,6,182
750,121566,1,6055,6,360
751,90966,1,5143,6,278
752,48970,1,3451,6,141
753,80760,1,4879,6,210
754,80760,1,4879,6,212
755,78430,1,4471,6,206
756,90966,1,5143,6,236
757,41074,1,3199,6,122
758,48970,1,3451,6,140
759,41074,1,3199,6,122
760,78430,1,4471,6,213
761,78430,1,4471,6,214
762,58632,1,4015,6,162
763,78430,1,4471,6,206
764,78430,1,4471,6,232
765,48970,1,3451,6,144
766,87472,1,4855,6,221
767,53622,1,3811,6,149
768,80760,1,4879,6,210
769,48970,1,3451,6,139
770,48970,1,3451,6,140
771,60610,1,3919,6,168
772,78430,1,4471,6,208
773,144838,1,6235,6,358
774,78430,1,4471,6,204
775,48970,1,3451,6,138
776,41074,1,3199,6,120
777,80760,1,4879,6,218
778,80760,1,4879,6,216
779,48970,1,3451,6,142
780,48970,1,3451,6,168
781,48970,1,3451,6,143
782,48970,1,3451,6,141
783,53622,1,3811,6,147
784,80760,1,4879,6,208
785,48970,1,3451,6,155
786,80760,1,4879,6,211
787,50146,1,3547,6,143
788,68430,1,4339,6,179
789,71969,0,3780,6,159
790,50146,1,3547,6,142
791,80760,1,4879,6,208
792,50146,1,3547,6,141
793,50146,1,3547,6,145
794,48970,1,3451,6,143
795,41074,1,3199,6,119
796,78430,1,4471,6,209
797,60610,1,3919,6,195
798,50146,1,3547,6,185
799,78430,1,4471,6,263
800,58632,1,4015,6,203
801,121566,1,6055,6,393
802,48970,1,3451,6,181
803,121566,1,6055,6,385
804,111692,1,5779,6,347
805,50146,1,3547,6,184
806,48970,1,3451,6,178
807,48970,1,3451,6,181
808,108552,1,5851,6,337
809,78430,1,4471,6,284
810,78430,1,4471,6,274
811,78430,1,4471,6,337
812,80760,1,4879,6,216
813,75056,1,4483,6,199
814,59744,1,3595,6,205
815,53622,1,3811,6,208
816,41074,1,3199,6,171
817,50146,1,3547,6,192
818,95952,1,5455,6,324
819,50146,1,3547,6,186
820,50146,1,3547,6,186
821,121566,1,6055,6,404
822,85678,1,4555,6,260
823,78430,1,4471,6,272
824,50146,1,3547,6,184
825,48970,1,3451,6,200
826,64518,1,4231,6,222
827,78430,1,4471,6,280
828,78430,1,4471,6,270
829,60610,1,3919,6,183
830,78430,1,4471,6,225
831,50146,1,3547,6,162
832,48970,1,3451,6,187
833,48970,1,3451,6,185
834,121566,1,6055,6,392
835,60610,1,3919,6,212
836,78430,1,4471,6,262
837,60610,1,3919,6,212
838,41074,1,3199,6,156
839,48970,1,3451,6,181
840,48970,1,3451,6,182
841,111692,1,5779,6,346
842,95952,1,5455,6,363
843,78430,1,4471,6,266
844,50146,1,3547,6,197
845,58245,0,3036,6,170
846,171118,1,8872,7,587
847,167142,1,8968,7,569
848,92218,1,6304,7,379
849,111286,1,7012,7,428
850,107998,1,6772,7,403
851,206664,1,10048,7,655
852,143770,1,7996,7,519
853,137118,1,8152,7,472
854,111286,1,7012,7,409
855,561358,1,16924,7,1681
856,107998,1,6772,7,396
857,92218,1,6304,7,349
858,150708,1,8260,7,505
859,171452,1,8500,7,587
860,282162,1,12016,7,909
861,271942,1,11296,7,871
862,89866,1,6112,7,343
863,282162,1,12016,7,922
864,107998,1,6772,7,408
865,76006,1,5668,7,310
866,175626,1,9004,7,609
867,175626,1,9004,7,591
868,171118,1,8872,7,584
869,175814,1,8140,7,537
870,87894,1,6184,7,338
871,89866,1,6112,7,361
872,111286,1,7012,7,438
873,137118,1,8152,7,475
874,125340,1,8164,7,478
875,143770,1,7996,7,507
876,388222,1,12844,7,1090
877,166070,1,8764,7,532
878,619734,1,19084,7,1672
879,80522,1,4972,7,216
880,271942,1,11296,7,897
881,179576,1,8776,7,563
882,142234,1,7804,7,497
883,171118,1,8872,7,580
884,59671,0,3561,7,162
885,85618,1,5824,7,327
886,107998,1,6772,7,397
887,99632,1,5800,7,329
888,89866,1,6112,7,348
889,89866,1,6112,7,410
890,167627,0,7353,7,396
891,143770,1,7996,7,397
892,171118,1,8872,7,486
893,104760,1,6880,7,399
894,301268,1,12760,7,911
895,136214,1,6736,7,427
896,94034,1,5728,7,325
897,142234,1,7804,7,508
898,89866,1,6112,7,367
899,463786,1,16660,7,1364
900,206664,1,10048,7,663
901,107998,1,6772,7,404
902,150708,1,8260,7,533
903,113220,1,6964,7,393
904,171118,1,8872,7,585
905,95756,1,5896,7,328
906,130680,1,8032,7,527
907,143770,1,7996,7,503
908,92218,1,6304,7,345
909,111286,1,7012,7,430
910,246302,1,10540,7,755
911,143770,1,7996,7,488
912,113220,1,6964,7,404
913,89866,1,6112,7,342
914,150708,1,8260,7,506
915,143770,1,7996,7,526
916,171118,1,8872,7,586
917,206664,1,10048,7,688
918,106230,1,6808,7,361
919,228114,1,10348,7,684
920,142234,1,7804,7,388
921,85618,1,5824,7,252
922,159192,1,8608,7,411
923,76006,1,5668,7,251
924,89866,1,6112,7,344
925,83306,1,4924,7,285
926,544922,1,16792,7,1498
927,150708,1,8260,7,504
928,107998,1,6772,7,403
929,89866,1,6112,7,347
930,125202,1,7516,7,439
931,89866,1,6112,7,345
932,182490,1,9196,7,602
933,89866,1,6112,7,309
934,107998,1,6772,7,307
935,92218,1,6304,7,280
936,85618,1,5824,7,264
937,103050,1,6700,7,383
938,206664,1,10048,7,688
939,206664,1,10048,7,661
940,150708,1,8260,7,508
941,159192,1,8608,7,526
942,136214,1,6736,7,477
943,89866,1,6112,7,357
944,92218,1,6304,7,364
945,113220,1,6964,7,397
946,228114,1,10348,7,713
947,163922,1,8284,7,525
948,111286,1,7012,7,408
949,118154,1,7132,7,400
950,233686,1,9808,7,688
951,143770,1,7996,7,512
952,99632,1,5800,7,354
953,62527,0,3729,7,202
954,113220,1,6964,7,414
955,228114,1,10348,7,720
956,150708,1,8260,7,500
957,182490,1,9196,7,595
958,171118,1,8872,7,586
959,171118,1,8872,7,597
960,159402,1,8656,7,551
961,89866,1,6112,7,362
962,89866,1,6112,7,384
963,85618,1,5824,7,327
964,142234,1,7804,7,486
965,264134,1,10672,7,784
966,159402,1,8656,7,543
967,89866,1,6112,7,364
968,206664,1,10048,7,656
969,143770,1,7996,7,517
970,171118,1,8872,7,593
971,271942,1,11296,7,946
972,107998,1,6772,7,400
973,107998,1,6772,7,397
974,107998,1,6772,7,394
975,94034,1,5728,7,322
976,271942,1,11296,7,876
977,171118,1,8872,7,595
978,142234,1,7804,7,459
979,171452,1,8500,7,467
980,182490,1,9196,7,611
981,142234,1,7804,7,496
982,89866,1,6112,7,342
983,107998,1,6772,7,392
984,271942,1,11296,7,862
985,167142,1,8968,7,558
986,235500,1,11368,7,782
987,150708,1,8260,7,498
988,171118,1,8872,7,566
989,147850,1,9829,8,454
990,241074,1,12949,8,672
991,273838,1,13933,8,751
992,523510,1,20521,8,1386
993,246294,1,13009,8,825
994,372927,0,13788,8,1045
995,177994,1,11017,8,683
996,479472,1,19177,8,1457
997,147850,1,9829,8,592
998,278374,1,14413,8,964
999,194928,1,11017,8,731
1000,273838,1,13933,8,958
1001,523510,1,20521,8,1739
1002,149026,1,9925,8,587
1003,232150,1,12577,8,841
1004,203886,1,11713,8,798
1005,203886,1,11713,8,704
1006,479472,1,19177,8,1323
1007,155574,1,10045,8,467
1008,166330,1,10297,8,515
1009,260022,1,13393,8,757
1010,592140,1,21841,8,1716
1011,232150,1,12577,8,841
1012,530504,1,20965,8,1707
1013,367598,1,14929,8,1132
1014,131846,1,7801,8,393
1015,278374,1,14413,8,1118
1016,530154,1,20197,8,1662
1017,149026,1,9925,8,581
1018,175542,1,10621,8,630
1019,413746,1,18265,8,1355
1020,278374,1,14413,8,902
1021,433804,1,15769,8,1019
1022,229634,1,11281,8,581
1023,155574,1,10045,8,450
1024,149026,1,9925,8,459
1025,202070,1,10033,8,515
1026,283038,1,14269,8,762
1027,348888,1,15733,8,947
1028,170732,1,8833,8,437
1029,293934,1,13969,8,765
1030,464686,1,16369,8,1079
1031,448582,1,18181,8,1191
1032,300894,1,14749,8,972
1033,523510,1,20521,8,1701
1034,181686,1,11041,8,671
1035,135130,1,7693,8,440
1036,349558,1,14509,8,1078
1037,348888,1,15733,8,1167
1038,52666,0,3756,8,119
1039,117410,1,7681,8,343
1040,273838,1,13933,8,762
1041,389650,1,15709,8,960
1042,177994,1,11017,8,538
1043,462664,1,16837,8,1082
1044,175882,1,10873,8,536
1045,227542,1,12193,8,642
1046,301380,1,15457,8,848
1047,311548,1,13993,8,800
1048,154412,1,8557,8,409
1049,260022,1,13393,8,701
1050,177994,1,11017,8,537
1051,413746,1,18265,8,1128
1052,33794,0,2646,8,77
1053,220776,1,12037,8,601
1054,275854,1,12697,8,717
1055,260022,1,13393,8,710
1056,523510,1,20521,8,1363
1057,209070,1,12097,8,608
1058,235222,1,12961,8,672
1059,448582,1,18181,8,1184
1060,212276,1,11965,8,602
1061,134768,1,8245,8,370
1062,173530,1,10681,8,518
1063,140530,1,9349,8,425
1064,223000,1,10321,8,554
1065,235222,1,12961,8,702
1066,467820,1,19057,8,1473
1067,428348,1,18289,8,1320
1068,325058,1,13813,8,1024
1069,274580,1,12877,8,880
1070,173530,1,10681,8,654
1071,149026,1,9925,8,560
1072,149026,1,9925,8,517
1073,592140,1,21841,8,1547
1074,232150,1,12577,8,666
1075,195336,1,11941,8,591
1076,145010,1,8257,8,380
1077,158400,1,9913,8,480
1078,158718,1,10273,8,484
1079,448582,1,18181,8,1499
1080,147850,1,9829,8,576
1081,175335,0,8718,8,531
1082,273838,1,13933,8,966
1083,126970,1,9193,8,521
1084,403602,1,17365,8,1293
1085,194414,1,10165,8,654
1086,232150,1,12577,8,888
1087,367598,1,14929,8,973
1088,387908,1,15181,8,950
1089,222350,1,12169,8,597
1090,173530,1,10681,8,523
1091,281016,1,13861,8,739
1092,232150,1,12577,8,674
1093,448582,1,18181,8,1374
1094,273424,1,11833,8,852
1095,240454,1,11029,8,756
1096,270526,1,13933,8,951
1097,270526,1,13933,8,955
1098,158400,1,9913,8,567
1099,295248,1,15241,8,1030
1100,232150,1,12577,8,858
1101,413746,1,18265,8,1153
1102,194928,1,11017,8,702
1103,357930,1,16825,8,1191
1104,896850,1,27529,8,2668
1105,185430,1,11245,8,773
1106,124552,1,7105,8,412
1107,523510,1,20521,8,1592
1108,273838,1,13933,8,852
1109,164444,1,10189,8,607
1110,281016,1,13861,8,941
1111,376208,1,14533,8,1167
1112,190370,1,9709,8,651
1113,447694,1,18469,8,1197
1114,235222,1,12961,8,826
1115,447694,1,18469,8,1429
1116,273838,1,13933,8,953
1117,312750,1,14545,8,1028
1118,281016,1,13861,8,926
1119,479472,1,19177,8,1508
1120,128614,1,7765,8,434
1121,173530,1,10681,8,623
1122,278374,1,14413,8,780
1123,182383,0,8721,9,397
1124,186872,1,10642,9,515
1125,344736,1,17866,9,964
1126,782722,1,31006,9,2444
1127,407974,1,20722,9,1232
1128,1440060,1,42826,9,3989
1129,710954,1,20842,9,1577
1130,380286,1,19618,9,1317
1131,763690,1,30094,9,2038
1132,280376,1,13426,9,757
1133,503180,1,19594,9,1587
1134,345186,1,18262,9,1047
1135,380878,1,19666,9,1428
1136,307906,1,17674,9,1161
1137,451064,1,18442,9,1416
1138,398062,1,20050,9,1439
1139,254940,1,14830,9,947
1140,324566,1,17170,9,1123
1141,385634,1,16426,9,1219
1142,85369,0,5391,9,251
1143,1404596,1,39418,9,4100
1144,446426,1,17338,9,1141
1145,1173192,1,39502,9,3739
1146,369860,1,14914,9,1268
1147,552570,1,24250,9,2004
1148,344736,1,17866,9,1206
1149,250286,1,12046,9,868
1150,288172,1,13222,9,993
1151,314482,1,18154,9,1202
1152,420672,1,19738,9,1484
1153,326322,1,17398,9,1203
1154,355056,1,18058,9,1257
1155,407490,1,19942,9,1402
1156,384966,1,19714,9,1401
1157,1310126,1,37822,9,3987
1158,564198,1,23842,9,1912
1159,705042,1,21814,9,2089
1160,402820,1,18670,9,1380
1161,366312,1,18346,9,1363
1162,33909,0,2805,9,110
1163,27453,0,2385,9,86
1164,288514,1,16714,9,1133
1165,410974,1,21010,9,1488
1166,380286,1,19618,9,1425
1167,951014,1,29218,9,2812
1168,227170,1,14890,9,1039
1169,249036,1,14446,9,932
1170,230582,1,14782,9,881
1171,441950,1,17614,9,1372
1172,250006,1,15262,9,993
1173,1403130,1,43282,9,4581
1174,758468,1,26158,9,2281
1175,446952,1,20602,9,1510
1176,314482,1,18154,9,1177
1177,407974,1,20722,9,1498
1178,262630,1,16030,9,1117
1179,265918,1,16270,9,1034
1180,125360,1,7354,9,447
1181,349990,1,17530,9,1191
1182,401950,1,20434,9,1346
1183,222366,1,14434,9,730
1184,612982,1,27454,9,1700
1185,344736,1,17866,9,1177
1186,265918,1,16270,9,1041
1187,820694,1,27358,9,2518
1188,420672,1,19738,9,1413
1189,466570,1,22870,9,1677
1190,783898,1,30286,9,2453
1191,598484,1,23542,9,1508
1192,181601,0,8829,9,403
1193,272978,1,14674,9,762
1194,564198,1,23842,9,1521
1195,229522,1,15082,9,731
1196,310124,1,14686,9,1004
1197,249036,1,14446,9,916
1198,404286,1,20590,9,1326
1199,408698,1,18394,9,1087
1200,283494,1,15874,9,804
1201,446952,1,20602,9,1188
1202,1053646,0,29469,9,2442
1203,892218,1,35983,10,2491
1204,359938,1,22003,10,1436
1205,345554,1,19471,10,1303
1206,432658,1,24751,10,1673
1207,566662,1,29431,10,1899
1208,682928,1,26107,10,1713
1209,820734,1,34939,10,2197
1210,1065836,1,38791,10,2751
1211,312410,1,16843,10,873
1212,198236,1,12055,10,577
1213,2563990,1,53011,10,5704
1214,831322,1,36931,10,3109
1215,579714,1,20443,10,1736
1216,526662,1,25723,10,1861
1217,448162,1,25903,10,1837
1218,511878,1,26695,10,1873
1219,1142262,1,44455,10,3846
1220,732138,1,32863,10,2603
1221,364786,1,22195,10,1569
1222,534848,1,24163,10,1904
1223,391762,1,24019,10,1558
1224,450020,1,23191,10,1629
1225,556602,1,28399,10,2023
1226,224378,1,13579,10,836
1227,153772,0,8202,10,491
1228,371602,1,22723,10,1610
1229,499208,1,21487,10,1626
1230,353122,1,21475,10,1396
1231,769780,1,34975,10,2691
1232,353122,1,21475,10,1427
1233,1034816,1,34579,10,3521
1234,50568,0,3900,10,167
1235,637990,1,30715,10,2330
1236,269152,1,15307,10,963
1237,325840,1,18139,10,1176
1238,424920,1,22495,10,1651
1239,464520,1,24079,10,1845
1240,432658,1,24751,10,1696
1241,1101022,1,43075,10,4003
1242,395222,1,21187,10,1947
1243,328072,1,16123,10,1115
1244,371452,1,17287,10,1305
1245,768054,1,31495,10,2524
1246,895202,1,33751,10,2816
1247,475086,1,26119,10,1707
1248,544086,1,28135,10,2015
1249,261322,1,12535,10,875
1250,798194,1,27919,10,2521
1251,92818,0,5838,10,278
1252,359938,1,22003,10,1439
1253,1545802,1,54103,10,5156
1254,330614,1,16579,10,1369
1255,360322,1,21859,10,1152
1256,378370,1,23011,10,1249
1257,712026,1,32947,10,2533
1258,290740,1,14203,10,974
1259,159224,1,9379,10,603
1260,130842,0,7692,10,375
1261,840282,1,35215,10,2955
1262,296372,1,14947,10,1047
1263,380482,1,23155,10,1602
1264,549506,1,22147,10,1771
1265,604494,1,29803,10,2274
1266,257240,1,13603,10,901
1267,331108,1,16675,10,1237
1268,155282,1,9931,10,632
1269,376018,1,22819,10,1589
1270,505496,1,21955,10,1635
1271,957430,1,39919,10,3369